منابع مشابه
Automatic Abstraction of Equations in a Logic of Equality
The paper presents a method to automatically abstract equations when translating formulas with equality to equivalent Boolean formulas, allowing the use of a SAT-checker to determine the validity of the original formula. The equations are abstracted with a special interpreted predicate that satisfies the properties of symmetry, reflexivity, transitivity, and functional consistency. This abstrac...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملgender equality and fertility in iran
using cross-provinces and panel regressions, this paper investigates the interrelationship between gender equality and fertility in iran for the period 2007-2012. the article attempts to explain the low fertility rate in iran by distinguishing between two types of gender equity, i.e. gender equity in individual-oriented institutions and gender equity in family-oriented institutions. for this pu...
متن کاملthe plotinus’ abstraction theology
the article presents explanation and analysis of plotinus’ abstraction theology. in this theology he tries to get negative knowledge of the god. the meaning of the negation is neither of pure negation or privation but it is based on abstraction which purifies and abstracts one concept from else to attain the exact and true meaning of it. accordingly, this method of theology is the same as the r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Current Legal Problems
سال: 2009
ISSN: 0070-1998,2044-8422
DOI: 10.1093/clp/62.1.22